(define (p) (p))

(define (test x y)
  (if (= x 0)
  	0
  	y))

(test 0 (p))

; Normal order 
; (test 0 (p))
; (if (= 0 x)
; 	0
;	(p))
; 0
;
; Applicative order
; (test 0 (p))
; (if (= 0 x)
; 	0
; 	p) ; recursion

